Search results for "quaternion algebra"

showing 8 items of 8 documents

On the arithmetic and geometry of binary Hamiltonian forms

2011

Given an indefinite binary quaternionic Hermitian form $f$ with coefficients in a maximal order of a definite quaternion algebra over $\mathbb Q$, we give a precise asymptotic equivalent to the number of nonequivalent representations, satisfying some congruence properties, of the rational integers with absolute value at most $s$ by $f$, as $s$ tends to $+\infty$. We compute the volumes of hyperbolic 5-manifolds constructed by quaternions using Eisenstein series. In the Appendix, V. Emery computes these volumes using Prasad's general formula. We use hyperbolic geometry in dimension 5 to describe the reduction theory of both definite and indefinite binary quaternionic Hermitian forms.

AMS : 11E39 20G20 11R52 53A35 11N45 15A21 11F06 20H10representation of integersHyperbolic geometry20H10Geometry15A2101 natural sciencesHyperbolic volume[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]11E39 20G20 11R52 53A35 11N45 15A21 11F06 20H10symbols.namesake11E390103 physical sciencesEisenstein seriesCongruence (manifolds)group of automorphs0101 mathematics20G20Quaternion11R52[MATH.MATH-GR] Mathematics [math]/Group Theory [math.GR]Mathematicsreduction theoryDiscrete mathematicsAlgebra and Number TheoryQuaternion algebraMathematics - Number TheorySesquilinear formta111010102 general mathematicsHamilton-Bianchi groupHermitian matrix53A35[MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]11F06[MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]symbols010307 mathematical physicsMathematics::Differential Geometry[MATH.MATH-DG] Mathematics [math]/Differential Geometry [math.DG]Hamilton–Bianchi group11N45binary Hamiltonian formhyperbolic volume[MATH.MATH-NT] Mathematics [math]/Number Theory [math.NT]
researchProduct

A note on cocharacter sequence of Jordan upper triangular matrix algebra

2016

Let UJn(F) be the Jordan algebra of n × n upper triangular matrices over a field F of characteristic zero. This paper is devoted to the study of polynomial identities satisfied by UJ2(F) and UJ3(F). In particular, the goal is twofold. On one hand, we complete the description of G-graded polynomial identities of UJ2(F), where G is a finite abelian group. On the other hand, we compute the Gelfand–Kirillov dimension of the relatively free algebra of UJ2(F) and we give a bound for the Gelfand–Kirillov dimension of the relatively free algebra of UJ3(F).

Algebra and Number TheoryJordan algebraQuaternion algebraMathematics::Rings and Algebras010102 general mathematicsZero (complex analysis)Triangular matrixgrowth of algebras010103 numerical & computational mathematics01 natural sciencesgraded Jordan algebraCombinatoricsAlgebraFiltered algebraSettore MAT/02 - AlgebraDifferential graded algebraFree algebraAlgebra representationGraded identitie0101 mathematicsMathematics
researchProduct

Generalised Deformations, Koszul Resolutions, Moyal Products

1998

We generalise Gerstenhaber's theory of deformations, by dropping the assumption that the deformation parameter should commute with the elements of the original algebra. We give the associated cohomology and construct a Koszul resolution for the polynomial algebra [Formula: see text] in the "homogeneous" case. We then develop examples in the case of [Formula: see text] and find some Moyal-like products of a new type. Finally, we show that, for any field K, matrix algebras with coefficients in K and finite degree extensions of K are rigid, as in the commutative case.

AlgebraSymmetric algebraQuadratic algebraQuaternion algebraIncidence algebraSubalgebraDivision algebraAlgebra representationCellular algebraStatistical and Nonlinear PhysicsMathematical PhysicsMathematicsReviews in Mathematical Physics
researchProduct

An extension of the algebra of sets

1973

We shall explain the aim which leads us in the construction of an extended system of the algebra of sets1. The symbol 1. {*:?(*)} denoting the set of these and only these elements of domain of the variable x which satisfy the propositional condition (propositional function or form) ?9 (x)" is in com? mon use nowadays, so that it is adopted in school courses of mathematics in many countries, and in Poland as well. This condition will be said to define the set 1. However, if we admit propositional conditions which are meaningless for some values of their variables then we encounter some difficulties connected with the ex? pression 1. The formulae 2. {x : 9 (*)} = {x : 9 (*)}' 3. {x : 9 (s) v …

Filtered algebraDiscrete mathematicsHistory and Philosophy of SciencePropositional functionQuaternion algebraLogicIncidence algebraAlgebra of setsTwo-element Boolean algebraNormal extensionField of setsMathematicsStudia Logica
researchProduct

Integral binary Hamiltonian forms and their waterworlds

2018

We give a graphical theory of integral indefinite binary Hamiltonian forms $f$ analogous to the one by Conway for binary quadratic forms and the one of Bestvina-Savin for binary Hermitian forms. Given a maximal order $\mathcal O$ in a definite quaternion algebra over $\mathbb Q$, we define the waterworld of $f$, analogous to Conway's river and Bestvina-Savin's ocean, and use it to give a combinatorial description of the values of $f$ on $\mathcal O\times\mathcal O$. We use an appropriate normalisation of Busemann distances to the cusps (with an algebraic description given in an independent appendix), and the $\operatorname{SL}_2(\mathcal O)$-equivariant Ford-Voronoi cellulation of the real …

Mathematics - Differential GeometryPure mathematicsBinary number01 natural sciences[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]waterworlddifferentiaaligeometriamaximal orderhyperbolic 5-space0103 physical sciences0101 mathematicsAlgebraic numberreduction theoryMathematicslukuteoriaMathematics - Number TheoryQuaternion algebra010102 general mathematicsHamilton-Bianchi groupryhmäteoriaOrder (ring theory)Mathematics::Geometric TopologyHermitian matrix[MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT][MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]Binary quadratic form010307 mathematical physicsGeometry and Topologyrational quaternion algebraMathematics - Group Theorybinary Hamiltonian formHamiltonian (control theory)Conformal Geometry and Dynamics of the American Mathematical Society
researchProduct

Counting and equidistribution in quaternionic Heisenberg groups

2020

AbstractWe develop the relationship between quaternionic hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on quaternionic hyperbolic spaces, especially in dimension 2. We prove a Mertens counting formula for the rational points over a definite quaternion algebra A over ${\mathbb{Q}}$ in the light cone of quaternionic Hermitian forms, as well as a Neville equidistribution theorem of the set of rational points over A in quaternionic Heisenberg groups.

Mathematics - Differential GeometryPure mathematicsMathematics::Dynamical SystemsGeneral MathematicsHyperbolic geometryMathematics::Number Theory[MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]Dimension (graph theory)11E39 11F06 11N45 20G20 53C17 53C22 53C55[MATH.MATH-DS] Mathematics [math]/Dynamical Systems [math.DS]Equidistribution theorem01 natural sciences[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]differentiaaligeometriaSet (abstract data type)Light cone0103 physical sciences0101 mathematics[MATH.MATH-GR] Mathematics [math]/Group Theory [math.GR]MathematicslukuteoriaQuaternion algebraMathematics - Number Theory010102 general mathematicsryhmäteoriaHermitian matrix[MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]Action (physics)010307 mathematical physicsMathematics::Differential Geometry[MATH.MATH-NT] Mathematics [math]/Number Theory [math.NT]
researchProduct

On the representation of integers by indefinite binary Hermitian forms

2011

Given an integral indefinite binary Hermitian form f over an imaginary quadratic number field, we give a precise asymptotic equivalent to the number of nonequivalent representations, satisfying some congruence properties, of the rational integers with absolute value at most s by f, as s tends to infinity.

Pure mathematicsrepresentation of integersGeneral MathematicsHyperbolic geometryAMS : 11E39 11N45 20H10 30F4001 natural sciences[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]symbols.namesake0103 physical sciencesEisenstein seriesCongruence (manifolds)group of automorphs0101 mathematicsQuaternionMathematicsBinary Hermitian formQuaternion algebraMathematics - Number TheorySesquilinear formta111010102 general mathematicsOrder (ring theory)Hermitian matrix[MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]Bianchi group[MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]symbolsMathematics::Differential Geometry010307 mathematical physics
researchProduct

A classification of $\protect \mathbb{R}$-Fuchsian subgroups of Picard modular groups

2018

arithmetic Fuchsian groupsmatematiikkaball quotientartimetiikkaquaternion algebrahyperbolinen geometriageometriahyperspherealgebraPicard modular groupHeisenberg groupFuchsin ryhmätcomplex hyperbolic geometry
researchProduct